منابع مشابه
Logical Debugging
Logic programming o ers a distinctive feature that is rarely met by other traditional programming languages: namely, one can use logic for both speci cation and computation. We present a methodology for reasoning about logic programs and their speci cations. This methodology can be applied to program debugging as well as program synthesis. We focus on the use of executable speci cations to gene...
متن کاملDebugging in A-Prolog: A Logical Approach
A-Prolog, Answer Set Programming or Stable Model Programming, is an important outcome of the theoretical work on Nonmonotonic Reasoning and AI applications of Logic Programming in the last 15 years. In the full version of this paper we study interesting applications of logic in the field of answer sets. Two popular software implementations to compute answer sets, which are available and easy to...
متن کاملGeneration of and Debugging with Logical Pre and Post-Conditions
This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a speciication language that integrates algebraic speciications and model-based speciications using the object oriented model. Class operations are deened by using rules each of them with logical pre and post-conditions but with a functional avour. ii) A development environment that, among other f...
متن کاملGeneration of and Debugging with Logical Pre and Postconditions
This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based specifications using the object oriented model. Class operations are defined by using rules each of them with logical pre and postconditions but with a functional flavour. ii) A development environment that, among ot...
متن کاملA Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software prob lems. To date, software engineers have had few tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through combining logical and uncertain reasoning analyses. Our preliminary results sugges...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1993
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(06)80011-8